See https://bugzilla.gnome.org/show_bug.cgi?id=737985
}
GtkScrolledWindow {
- .frame { border-radius: 2px; }
GtkViewport.frame { // avoid double borders when viewport inside
// scrolled window
border-style: none;
padding: 6px;
border-width: 1px 0 0; }
-GtkScrolledWindow .frame {
- border-radius: 2px; }
GtkScrolledWindow GtkViewport.frame {
border-style: none; }
padding: 6px;
border-width: 1px 0 0; }
-GtkScrolledWindow .frame {
- border-radius: 2px; }
GtkScrolledWindow GtkViewport.frame {
border-style: none; }